Carvajal, Juan et son frère Pedro, gentilshommes espagnols injustement exécutés pour meurtre en 1312